временная логика

временная логика
        ВРЕМЕННАЯ ЛОГИКА - раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950-х), а также во многом и нынешнее состояние обязаны работам А.Н. Прайора. Философско-методологическим основанием В. л. является принцип конкретности истины. Поэтому следует признать заслугу и Гегеля в формировании концепции В. л., на что обращал внимание автор гипотезы о возможности ее построения Дж.Н. Финдлей. Среди предпосылок В. л. важное место занимают грамматические исследования датского ученого О. Есперсена (система «семи времен» глаголов с различением «времен» высказывания, действия и ссылки).
        Истоки В. л. лежат в античной и средневековой логике. В трактате Аристотеля «Об истолковании» говорится, что «простое высказывание есть звукосочетание, обозначающее присущность или неприсущность чего-то с различением во времени»; при рассмотрении парадокса «завтрашнего морского сражения» допускается непостоянство во времени истинности и ложности суждений. Для Диодора Крона суждения вроде «сейчас имеет место день» являются истинными в одно время и ложными в другое. Импликация «если р, то понималась им так: «Никогда не было такого времени, когда р было истинным при одновременной ложности q». Согласно его «главенствующему аргументу» (kyrieyon), три суждения являются несовместными: 1) каждое истинное суждение о прошлом является необходимым; 2) невозможное не следует из возможного; 3) нечто, чего нет и не будет, все-таки является возможным. В средневековой логике формулировались условия истинности суждений с временной квалификацией (Жан Буридан); разрабатывалась концепция «возможных миров» (Вальтер Бурлей, Дуне Скот, Уильям Оккам). Новое время отличается охлаждением интереса к временной квалификации логической формы. Затем он возобновляется (Дж. Буль, Ч.С. Пирс) и более уже не исчезает. Пирсу принадлежит идея модели «ветвящегося времени», оказавшейся в центре нынешних разработок.
        На возникновение В. л. существенно повлияла модальная логика. Дж. Финдлей считал, что «исчисление времен следует включить в современное развитие модальной логики». Особое значение в этом отношении имели исследования проблемы квантификации модальной логики.
        Наиболее распространенный способ оформления систем В. л. связан со «стратифицированной» концепцией Э.Дж. Леммона. «Минимальная система» включает классическое пропозициональное исчисление, правила присвоения всегда-будущности и всегда-прошлости (аналоги правила введения квантора общности в логике предикатов), а также аксиомы однородности времени, связывающие предположения об однородности времени и истинностные значения высказываний. Расширения получаются путем присоединения к этому «страту» других постулатов.
        В начале 20 в., посредством уточнения очень давних интуитивных представлений, Дж.Э. Мак-Таггарт сформулировал взаимодополнительные концептуальные модели: А-ряд, т.е. ряд прошлого, настоящего и будущего, и В-ряд, представляющий время с помощью понятий «до», «одновременно» и «после». Первый служит для построения объектного языка исчислений В. л., второй — метаязыка для описания временных структур.
        Разработку проблем семантики В. л. начал еще Прайор. Благодаря работам Э.Дж. Леммона, Г. Х. фон Вригта, С. Крипке, Д. Габбая, В.А. Смирнова, Дж. Берджесса и др. эта область приобрела современный вид.
        Э.Ф. Караваев
        Лит.: Анисов A.M. Время и компьютер: Негеометрический образ времени. М., 1991; Вригт Г.Х. фон. Логико-философские исследования. М., 1986; Ишмуратов А.Т. Логические теории временных контекстов (временная логика). Киев, 1981; Караваев Э.Ф. Основания временной логики. Л., 1983; Карпенко А.С. Фатализм и случайность будущего: Логический анализ. М., 1990; Смирнов В.А. Определение модальных операторов через временные // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984; Он же. Логические системы с модальными временными операторами // Там же; Benthem J.F.A.K. van. The Logic of Time: A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Dordrecht, 1983; Burgess J.P. Basic tense logic // Handbook of Philosophical Logic.Vol. II. Dordrecht, 1984; Ohrstrom P., Hasle P.F. V. Temporal Logic - from Ancient Ideas to Artificial Intelligence. Dordrecht, 1995; Prior A.N. Time and Modality. Oxford, 1957; Он же. Past, Present and Future. Oxford, 1967; Он же. Papers on Time and Tense. Oxford, 1968.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Нужна помощь с курсовой?

Полезное


Смотреть что такое "временная логика" в других словарях:

  • ВРЕМЕННАЯ ЛОГИКА —     ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… …   Философская энциклопедия

  • временная логика — раздел современной модальной логики, изучающий логические связи временных утверждений, т. е. утверждений, в которых временной параметр включается в логическую форму. Л. в. начала складываться в 50 е годы XX в. прежде всего благодаря работам англ …   Словарь терминов логики

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • логика в компьютерных науках —         ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… …   Энциклопедия эпистемологии и философии науки

  • Логика Бэрроуза — Логика Бэрроуза  Абади  Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic)  это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… …   Википедия

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логика формальная — (logic, formal), наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства). Предметом Л.ф. является не содержание умозаключения, а его логическая структура. Напр., умозаключения все люди смертны; Сократ человек; след.,… …   Народы и культуры

  • Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история …   Википедия

  • ВРЕМЕНИ ЛОГИКА — или Временная логика, раздел современной модальной логики, изучающий логические связи временных утверждений, т.е. утверждений, в которых временной параметр включается в логическую форму. В.л. начала складываться в 1950 е гг. прежде всего… …   Философская энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»